Representation of a Discretely Controlled Continuous System in Tense Arithmetic
نویسندگان
چکیده
منابع مشابه
Reinforcement Learning Using Gaussian Processes for Discretely Controlled Continuous Processes
In many application domains such as autonomous avionics, power electronics and process systems engineering there exist discretely controlled continuous processes (DCCPs) which constitute a special subclass of hybrid dynamical systems. We introduce a novel simulation-based approach for DDCPs optimization under uncertainty using Reinforcement Learning with Gaussian Process models to learn the tra...
متن کاملSwitching Surface Design for Periodically Operated Discretely Controlled Continuous Systems
Discretely controlled continuous systems (DCCS) represent an important class of hybrid systems, in which a continuous process is regulated by a discrete controller. The paper introduces a novel modelbased design procedure for periodically operated DCCS with the objective to produce a periodic stationary operation. The method exploits an equivalence to periodic control systems to obtain an event...
متن کاملA Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem
This contribution reports on a case study in the application of tool-based methods for a systematic analysis of hybrid systems. In particular, the study is focussed on continuous processes controlled by logic controllers, as this class of hybrid systems is widespread among process industry plants. To achieve comparable results, all methods and tools under consideration were applied to the same ...
متن کاملApproximation of fixed points for a continuous representation of nonexpansive mappings in Hilbert spaces
This paper introduces an implicit scheme for a continuous representation of nonexpansive mappings on a closed convex subset of a Hilbert space with respect to a sequence of invariant means defined on an appropriate space of bounded, continuous real valued functions of the semigroup. The main result is to prove the strong convergence of the proposed implicit scheme to the unique solutio...
متن کاملAdmissible Vectors of a Covariant Representation of a Dynamical System
In this paper, we introduce admissible vectors of covariant representations of a dynamical system which are extensions of the usual ones, and compare them with each other. Also, we give some sufficient conditions for a vector to be admissible vector of a covariant pair of a dynamical system. In addition, we show the existence of Parseval frames for some special subspaces of $L^2(G)$ related to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80887-9